Metadata
aliases: []
shorthands: {}
created: 2022-01-05 15:05:03
modified: 2022-01-10 04:13:04
Statement: Given a Hermitian operator
So they can be made orthonormal by setting their magnitudes to 1:
Consider these eigenvalue equations:
Then take the inner product of the second equation with
Here we used the Hermitievity of
If
Meaning that they are orthogonal.
In the degenerate case where there are multiple eigenvectors corresponding to the same eigenvalue, we investigate the degenerate subspace of the given eigenvalue. The operator
QED